Proof by Ivy (Floating Point Formatting, Part 4)
research.swtch.com路2d
Optimising Cylindrical Algebraic Coverings for use in SMT by Solving a Set Covering Problem with Reasons
arxiv.org路2h
Free papers, get your free papers here!
esat.kuleuven.be路11h
CodeSOD: Well Timed Double Checking
thedailywtf.com路2d
Subterms Modulo Theories I
philipzucker.com路3d
How Static Analysis Can Expose Personal Data Hidden in Source Code
hackernoon.com路19h
jameysharp/live-long-and-prospero: A small compiler for the Prospero Challenge in Constructive Solid Geometry
github.com路3d
Loading...Loading more...